Search Results
Analysis and Testing for Probabilistic Programming - Sasa Misailovic
[Midwest PL Summit] Storm Program Reduction for Testing and Debugging Probabilistic Programming
Towards Probabilistic Programming for Reliable Machine Perception - Marco Cusumano-Towner
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Programming Models for Estimates, Approximation, and Probabilistic Reasoning
A Dual Number Abstraction for Static Analysis of Clarke Jacobians (Teaser)
Reasoning about Approximate Computing Abstract
Safe and Robust Deep Learning - Gagandeep Singh
A New Approach for Software Correctness and Reliability
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
[Midwest PL Summit] Learning from, Understanding, and Supporting DevOps Artifacts by Jordan Henk
Towards Verified Robot Code
![[Midwest PL Summit] Learning from, Understanding, and Supporting DevOps Artifacts by Jordan Henk](https://img.youtube.com/vi/eBymre72lsA/hqdefault.jpg)
![[Midwest PL Summit] Storm Program Reduction for Testing and Debugging Probabilistic Programming](https://img.youtube.com/vi/xmxABPUKHr8/hqdefault.jpg)
